Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Provability, Computability and Reflection.

In recent discussions of moral responsibility, two claims have generated considerable attention: 1) a complete account of responsibility cannot ignore the agent’s personal history prior to the time of action; and 2) an agent’s responsibility is not determined solely by whether certain objective facts about the agent obtain (e.g., whether he/she was free of physical coercion) but also by whether, subjectively, the agent views him/herself in a particular way. John Martin Fischer and Mark Ravizza defend these claims and combine them (...) in a novel manner. They argue that responsibility for an action requires that the agent—at some prior time—have taken responsibility for the kind of mechanism, or process, which produced the action (e.g., practical reason). The notion of taking responsibility is then understood subjectively, requiring that the agent believe it appropriate for others to hold him/her responsible for actions produced by that kind of mechanism. I explore how best to understand the role(s) played by the notion of taking responsibility in Fischer and Ravizza’s account and then argue that being responsible for an action does not require that one have taken responsibility in the subjective sense. That is, being responsible is not a matter of believing oneself to be so. This Article does not have an abstract. (shrink)

Open theists argue that God's relationship to time, as conceived in classical theism, is erroneous. They explain that it is contradictory for an atemporal being to act in a temporal universe, including experiencing its temporal successions. Contrary to the atemporalists, redemptive history has shown that God interacts with humans in time. This relational nature of God nullifies the classical notion of God as timelessly eternal. Therefore, it lacks a philosophical and theological basis. Because God is in time, He does not (...) know all future contingencies and, therefore, changes. This study examines open theism's appropriation of the A and B theories of time to the divine-human relationship. The study argues that divine temporality does not solve the tension of divine-human relationships, especially in relation to the future. Further, historical divine temporality does not negate the fact of divine atemporality. It mainly stems from God's choice to create temporal creatures and His relationship with them. Furthermore, if it is not logically and metaphysically contradictory for an omnipresent being to act in space, then it follows that an atemporal being can act in time. Whether time is understood from the metric or psychological point of view, it does not transcend God, and therefore, the limitation it places on human creatures with respect to the future does not apply to God. Lastly, although a few philosophers reject the notion of eternity as timelessly eternal, the doctrine has a philosophical and theological basis in the Scripture. (shrink)

No part ot Plato's writings has been more debated than the three similes in Books VI.-VII. of the Republic, and still there is a diversity of opinion about their meaning. I believe that most of these difficulties arise from certain assumptions about their purpose which need revision. The current view applies the Cave to the Line, as Plato seems to direct, and this application, which is itself attended by considerable difficulties, leads to an assimilation of the two figures till they (...) seem to have much the same content and purpose. Again, as this makes the lower line appear to be the phenomenal world, it is thought that the simile of the sun foreshadows the theme of the Line by hinting at a connexion between the intelligible and the sensible which is made more explicit in the Line. Thus the group of similes seem mainly intended to show the dependence of Becoming upon Being. This paper will argue that such a view depends upon the misrepresentation of the symbolism adopted by Plato, that two antithetical groups of symbols are confused with one another, and that symbols are even identified with antitypes. Owing to these misinterpretations the Form of the Good has been mistaken for a material cause; both the Line and the Cave have been thought to reveal Plato as embarrassed by a dualism between sense and intellect, and the purpose of the Cave in particular, since the error is cumulative, has been completely obscured. This paper will attempt to substitute for current accounts another interpretation which will relate the three similes closely with the political arguments of Book VI., and with the Platonic education which is set forth in close connexion with them. (shrink)

These two small works are a good supplement to Rescher’s recent trilogy. Whereas the systems-theoretic approach is employed in Methodological Pragmatism in dealing with the problem of the legitimation of claims to factual knowledge or cognitive rationality, Dialectics deals with the argumentation aspect of thesis-introduction rather than the logical aspect of thesis-derivation. Although some key notions such as the idea of burden of proof and presumption have been stated in the former work, what is offered here is a systematic discussion (...) of a disputational model of inquiry. The principal aims are "to exhibit the sociocommunal roots of the foundations of rationality, to provide an instrument for the critique of scepticism implicit in the cognitive solipsism of the Cartesian approach, and to illuminate the communal and controversy-oriented aspects of rational argumentation and inquiry—scientific inquiry in particular." Again, Rescher limits his discussion to "the probative mechanism in the factual domain." This book, if it were not for its price, should be a good supplement to a course in "informal" logic which focuses on argumentation rather than on mere evaluation of arguments. Plausible Reasoning provides the mechanism for evaluation of plausibility claims as distinct from probabilistic ones. The basic differences between these two types of claims are clearly discussed. "Plausibility is essentially a classificatory concept which ranks theses in terms of the standing and solidity of their cognitive basis. Plausibility grades theses by an external or extrinsic standard of the hierarchical nature of their supporting bases. It classifies propositions by the status of the evidential sources or validating principles that vouch for them. Probability weighs alternatives and evaluates theses by this relative contentual weight of the supporting considerations."—A.S.C. (shrink)

"One basic and underlying assumption of this investigation will be that there is a distinct continuity and development in Berkeley's thought which can be traced through all of his reflective analyses of the problem of perception." The essay argues for Berkeley's theory of perception as a "prototype of the phenomenalists." It argues also for Berkeley's incorporation of elements from the representative theory of perception. Of special interest is the treatment of Berkeley's doctrine of "suggestion" and its connection with the role (...) of imagination in the perception of physical objects. The linguistic aspect of Berkeley's work is minimized. Berkeley's theory of notions receives only a passing reference. The last third of the book is a clear and useful discussion of Berkeley and contemporary phenomenalism. It is suggested, though not shown, that Berkeley has affinity with contemporary phenomenology of perception.--A. S. C. (shrink)

An able and clear defense of Bradley's principal theses and the underlying conception of metaphysical enterprise. "This is a book about a metaphysician, about metaphysics, and, most importantly, it attempts to develop elements of a metaphysical position long the lines of what is called Absolute Idealism." The Introduction takes up the Verificationists [[sic]] argument and two recent accounts of metaphysics. Part I devotes ten Chapters to the elucidation and defense of Bradley's conception of reality. It culminates in examining three alternative (...) accounts of "Real". Part II considers "the major philosophical theories of the self in order to defend Bradley's Theory of the self within his metaphysical scheme."--A. S. C. (shrink)

Health workers and support staff at Malawi’s major referral hospital, the Queen Elizabeth Central Hospital, Blantyre, were on strike between 5th and 19th October 2001. The health workers’ grievances included: lack of risk allowances; poor professional allowances; low salaries; and low housing allowances. The strike resulted in almost total closure of the 1500-bed hospital; only the burns and orthopaedic wards continued to serve patients. Volunteer staff, comprising the Red Cross, and nursing and medical students provided services. Verbal and written threats (...) by the authorities had minimal effect on terminating the strike; rather, they encouraged the resolve to continue with the industrial action. We report aspects of the genesis, progress and resolution of the strike. Although not much seems to have been achieved, both the employer and the workers need to draw lessons from the experience. (shrink)

The first part of this paper argued that the traditional application of the Cave to the Line was not intended by Plato, and led to a misunderstanding of both similes. The Cave, it was said, is attached to the simile of the Sun and the Line by the visible region outside the cave, which is a reintegration of the symbolism of sun, originals and images in the sunlight, and the new system of objects inside the cave is compared and contrasted (...) with the natural objects in the visible outside. As we know that the natural symbolism illustrates the Platonic education, our main task in this paper will be to find the meaning of the cave, untrammelled by the associations of the lower line. (shrink)

Singularity Hypotheses: A Scientific and Philosophical Assessment offers authoritative, jargon-free essays and critical commentaries on accelerating technological progress and the notion of technological singularity. It focuses on conjectures about the intelligence explosion, transhumanism, and whole brain emulation. Recent years have seen a plethora of forecasts about the profound, disruptive impact that is likely to result from further progress in these areas. Many commentators however doubt the scientific rigor of these forecasts, rejecting them as speculative and unfounded. We therefore invited prominent (...) computer scientists, physicists, philosophers, biologists, economists and other thinkers to assess the singularity hypotheses. Their contributions go beyond speculation, providing deep insights into the main issues and a balanced picture of the debate. (shrink)

The similes of the Sun, Line, and Cave in the Republic remain a reproach to Platonic scholarship because there is no agreement about them, though they are meant to illustrate. I propose to analyse the form of the argument, a clue that has never been properly weighed. The Greek theory and practice of analogia and diairesis give good evidence about the method that Plato adopted; if this usage were respected, the analogical argument would not be so loosely interpreted, and the (...) double diairesis and proportion that the Line actually is could not be mistaken for a classification. I hope also to show that Plato's terminology is definite and consistent; here too ancient usage helps to establish his meaning. (shrink)

This is a critical edition of the work published in 1681, two years after Hobbes' death. The dialogue contains mature reflections of Hobbes on the doctrine of sovereignty. It deals with the relation between law and reason, sovereign power, crimes, heresies and punishments. The editor's introduction sets forth arguments for regarding the text as a complete work, contrary to the views of L. Stephen, Tönnies, and Robertson. A critical analysis of the argument in the dialogue is also provided indicating the (...) relation of the dialogue to Hobbes' political philosophy. The dialogue is interesting in portraying the more "liberal" side of Hobbes. It is an invaluable aid to the study of Hobbes.--A. S. C. (shrink)